Language and Computation

Results: 343



#Item
161OAMulator: A Teaching Resource to Introduce Computer Architecture Concepts FILIPPO MENCZER and ALBERTO MARIA SEGRE The University of Iowa The OAMulator is a Web-based resource to support the teaching of instruction set

OAMulator: A Teaching Resource to Introduce Computer Architecture Concepts FILIPPO MENCZER and ALBERTO MARIA SEGRE The University of Iowa The OAMulator is a Web-based resource to support the teaching of instruction set

Add to Reading List

Source URL: carl.cs.indiana.edu

Language: English - Date: 2014-09-06 23:26:54
162The Evolution of Combinatorial Phonology Willem Zuidema ∗ Institute for Logic, Language and Computation, University of Amsterdam Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands Bart de Boer 1

The Evolution of Combinatorial Phonology Willem Zuidema ∗ Institute for Logic, Language and Computation, University of Amsterdam Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands Bart de Boer 1

Add to Reading List

Source URL: uvafon.hum.uva.nl

Language: English - Date: 2009-05-06 07:31:26
163invited paper in Proc. of Hybrid Systems: Computation and Control (HSCC) LNCS 3414, Zurich, Switzerland, March 9-11, 2005 Operational Semantics of Hybrid Systems Edward A. Lee and Haiyang Zheng? Center for Hybrid and Emb

invited paper in Proc. of Hybrid Systems: Computation and Control (HSCC) LNCS 3414, Zurich, Switzerland, March 9-11, 2005 Operational Semantics of Hybrid Systems Edward A. Lee and Haiyang Zheng? Center for Hybrid and Emb

Add to Reading List

Source URL: ptolemy.eecs.berkeley.edu

Language: English - Date: 2005-03-05 16:31:49
164A Field Guide to Internet Trust by Kaliya “Identity Woman” Hamlin and Steve Greenberg Summary The decreasing cost of computation and communication has made it easier than ever before to be a service provider, and has

A Field Guide to Internet Trust by Kaliya “Identity Woman” Hamlin and Steve Greenberg Summary The decreasing cost of computation and communication has made it easier than ever before to be a service provider, and has

Add to Reading List

Source URL: www.identitywoman.net

Language: English - Date: 2014-05-05 14:05:14
165Regular Sensing Shaull Almagor1 , Denis Kuperberg2 , and Orna Kupferman1 1 2 The Hebrew University, Israel.

Regular Sensing Shaull Almagor1 , Denis Kuperberg2 , and Orna Kupferman1 1 2 The Hebrew University, Israel.

Add to Reading List

Source URL: www.liafa.univ-paris-diderot.fr

Language: English - Date: 2014-10-15 08:28:09
166Using Camlp4 for Presenting Dynamic Mathematics on the Web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web An experience report Frédéric Chyz

Using Camlp4 for Presenting Dynamic Mathematics on the Web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web An experience report Frédéric Chyz

Add to Reading List

Source URL: ddmf.msr-inria.inria.fr

Language: English - Date: 2011-06-30 10:10:16
167A theory of restrictions for logics and automata Nils Klarlund AT&T Labs{Research ([removed]) Abstract. BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are

A theory of restrictions for logics and automata Nils Klarlund AT&T Labs{Research ([removed]) Abstract. BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2007-03-08 16:50:50
168Punctuation has a point, so use it! Robin L. Hill1 and Wayne S. Murray2 1 Institute for Language, Cognition and Computation, School of Informatics, University of Edinburgh

Punctuation has a point, so use it! Robin L. Hill1 and Wayne S. Murray2 1 Institute for Language, Cognition and Computation, School of Informatics, University of Edinburgh

Add to Reading List

Source URL: tinytocs.org

Language: English - Date: 2013-04-02 18:41:25
169CSC 4170 Web Intelligence and Social Computing Homework Assignment #4 Date: Friday, 20 November 2009 Due Date: Friday, 4 December 2009 at 6:30 pm

CSC 4170 Web Intelligence and Social Computing Homework Assignment #4 Date: Friday, 20 November 2009 Due Date: Friday, 4 December 2009 at 6:30 pm

Add to Reading List

Source URL: www.cse.cuhk.edu.hk

Language: English - Date: 2009-11-20 04:13:11